l\_interval($l$;$j$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mklist($i$$-$$j$;$\lambda$$x$.$l$[$j$+$x$])